Why Research on Numerical Computation with Result Verification?

Numerical Computation of Rolling Resistance Based on the Result of Tire/Road Static Contact Analysis

Among various dissipating mechanisms, the viscoelastic effect of rubber material on creation of rolling resistance is responsible for 10-33% dissipation of supplied power at the tire/road interaction surface. So, evaluating this kind of loss is very essential in any analysis concerned with improving the fuel consumption of vehicles and resultantly energy savage. Hysteretic loss is a fraction of...

Program Verification of Numerical Computation

These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of the style of presentation is in the form of notes that outline the definitions and rules upon which VPC is based. The initial motivation of this project was to address some practical issues of computation, especially o...

Novel Approaches to Numerical Software with Result Verification

Traditional design of numerical software with result verification is based on the assumption that we know the algorithm that transforms input into the output , and we know the intervals of possible values of the inputs. Many real-life problems go beyond this paradigm. In some cases, we do not have an algorithm , we only know some relation (constraints) between and . In other cases, in addition ...

Program Verification of Numerical Computation - Part 2

These notes present some extensions of a formal method introduced in an earlier paper. The formal method is designed as a tool for program verification of numerical computation and forms the basis of the software package VPC. Included in the extensions that are presented here are disjunctions and methods for detecting non-computable programs. A more comprehensive list of the construction rules ...

Automated Result Verification with AWK